From: Philip Chimento <philip.chimento@gmail.com>
Date: Sat, 15 Apr 2017 07:00:54 +0000 (-0700)
Subject: build: Require bash for pushd
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~366
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=1508d76d32797dc0ba74eee0f80cae48f13e4c97;p=gnome-shell.git

build: Require bash for pushd

If using sh, there's no pushd. Make autogen.sh execute with bash instead.
---

diff --git a/autogen.sh b/autogen.sh
index 132dc90b5..560dab8bc 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Run this to generate all the initial makefiles, etc.
 
 srcdir=`dirname $0`